Avionics software

Results: 266



#Item
31Avionics / Electronic flight bag / Maintenance /  repair /  and operations / Malaysia Airlines / Lufthansa Technik / Flight planning / Airline / Mxi Technologies / Flight bag / Aviation / Transport / Lufthansa

AIRLINE & AEROSPACE MRO & FLIGHT OPERATIONS IT CONFERENCE 10th & 11th June 2015 – Park Inn Hotel, London Heathrow, UK AIRLINE AND AIRCRAFT OPERATORS DELEGATE INFORMATION Vendors exhibiting their software include:

Add to Reading List

Source URL: www.aircraft-commerce.com

Language: English - Date: 2015-05-29 14:03:49
32Lufthansa / Avionics / Electronic flight bag / Maintenance /  repair /  and operations / Lufthansa Technik / Malaysia Airlines / Mxi Technologies / Flight planning / Ramco Systems / Transport / Aviation / Information technology management

AIRLINE & AEROSPACE MRO & FLIGHT OPERATIONS IT CONFERENCE 10th & 11th June 2015 – Park Inn Hotel, London Heathrow, UK DELEGATE INFORMATION Vendors exhibiting their software include:

Add to Reading List

Source URL: www.aircraft-commerce.com

Language: English - Date: 2015-05-29 14:04:51
33Software / Testwell CTC++ / Code coverage / Embedded system / Fault coverage / Coverage / C / Tcov / Avionics software / Software engineering / Software testing / Electronics

Testwell CTC++: Code Coverage Analysis for safety-critical Embedded Systems by Professor Dr. Daniel Fischer (University of Applied Sciences Offenburg, Germany) Software for embedded systems is often used in safety-critic

Add to Reading List

Source URL: www.verifysoft.com

Language: English - Date: 2013-09-27 11:06:04
34Avionics / Hazard analysis / Occupational safety and health / Systems engineering process / Lawrence Livermore National Laboratory / Systems science / Engineering / Systems engineering / Reliability engineering / Software quality

Revision of DOE-STD, Integration of Safety into the Design Process Pranab Guha, AU-31 Office of Nuclear Safety Basis & Facility Design October 2014

Add to Reading List

Source URL: www.efcog.org

Language: English - Date: 2015-01-24 18:31:45
35Computing / TTCN-3 / Model-based testing / TTCN / ARINC 653 / Spring Framework / Avionics Full-Duplex Switched Ethernet / Test suite / Test automation / Software testing / Evaluation / Technology

Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska Department of Computer Science and Mathematics University of Bremen Bremen, Germany Email: {chref, jp}@tzi.de

Add to Reading List

Source URL: www.informatik.uni-bremen.de

Language: English - Date: 2011-09-19 11:43:38
36Software testing / Software metrics / Avionics / Embedded systems / Pharmaceutical industry / DO-178B / Code coverage / Cyclomatic complexity / Software quality / Software development / Technology / Computing

DO-178B and McCabe IQ Table of Contents Executive Summary ___________________________________________________________ 3 Part 1: Introduction ___________________________________________________________ 4 Software Qualit

Add to Reading List

Source URL: www.mccabe.com

Language: English - Date: 2014-02-25 09:52:58
37Software / Software requirements / Embedded systems / Safety / DO-178C / DO-178B / Frama-C / Formal verification / Verification / Software development / Avionics / Computing

Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:57
38Ada programming language / Program analysis / Formal methods / Avionics / Type theory / SPARK / Ada / Static program analysis / Software bug / Computing / Software engineering / Programming language theory

Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2011-12-15 14:00:58
39Software / Avionics / Embedded systems / Software testing / DO-178B / Astrée / Functional Safety / DO-178C / Software development process / Software development / Safety / Software requirements

Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2012-04-23 04:44:53
40Computing / Bus analyzer / Bus Monitoring / Avionics Full-Duplex Switched Ethernet / PCI Express / Avionics / MIL-STD-1553 / PCI-X / ARINC / Computer buses / Computer hardware / Software

Year Anniversary Logo

Add to Reading List

Source URL: www.aim-online.com

Language: English - Date: 2014-06-23 08:19:19
UPDATE